redmi note 12 pro vs realme 10 pro